The Existence of the Tau One-Way Functions Class as a Proof that P != NP

نویسنده

  • Javier A. Arroyo-Figueroa
چکیده

We prove that P ≠ NP by proving the existence of a class of functions we call Τ (Greek Tau), each of whose members satisfies the conditions of one-way functions. Each member of Τ is a function computable in polynomial time, with negligible probability of finding its inverse by any polynomial probabilistic algorithm. We also prove that no polynomial-time algorithm exists to compute the inverse of members of Τ, and that the problem of computing the inverse of Τ cannot be reduced to FSAT in polynomial time.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Zero Knowledge and Soundness Are Symmetric

We give a complexity-theoretic characterization of the class of problems in NP having zeroknowledge argument systems. This characterization is symmetric in its treatment of the zero knowledge and the soundness conditions, and thus we deduce that the class of problems in NP ∩ coNP having zero-knowledge arguments is closed under complement. Furthermore, we show that a problem in NP has a statisti...

متن کامل

Nondeterministic functions and the existence of optimal proof systems

We provide new characterizations of two previously studied questions on nondeterministic function classes: Q1: Do nondeterministic functions admit efficient deterministic refinements? Q2: Do nondeterministic function classes contain complete functions? We show that Q1 for the class NPMVt is equivalent to the question whether the standard proof system for SAT is p-optimal, and to the assumption ...

متن کامل

The Curious Case of Non-Interactive Commitments - On the Power of Black-Box vs. Non-Black-Box Use of Primitives

It is well-known that one-way permutations (and even oneto-one one-way functions) imply the existence of non-interactive commitments. Furthermore the construction is black-box (i.e., the underlying one-way function is used as an oracle to implement the commitment scheme, and an adversary attacking the commitment scheme is used as an oracle in the proof of security). We rule out the possibility ...

متن کامل

New Criteria for Existence of a Class of Generalized Euler-types Constants

One of the most important mathematical constants is Euler-Mascheroni constant that is the limit of the sequence --------------------------------  and is denoted by gamma. Some other developed constants known as Euler type constants are introduced in order to generalize the above constant. In the present paper, inspired by the functional sequence derivative of the limit summand of functions (i...

متن کامل

P 97: Neurodegeneration Induced by Tau protein

Tau is one of several types of microtubule-associated proteins (MAPs), responsible for the assembly and stability of microtubule networks that is present only in neurons and predominantly localized in axons which its functions are tightly regulated by phosphorylation. Via as yet unknown mechanisms, tau becomes hyperphosphorylated and accompanies with neuronal degeneration, loss of synapses...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016